Unfold `fincr` 0